Перевод: с английского на русский

с русского на английский

С русского на:
Английский
С английского на:
Русский

theorem-proving process

Толкование Перевод

1 theorem-proving process

мат. процесс доказательства теоремы

Большой англо-русский и русско-английский словарь > theorem-proving process
2 theorem-proving process

Математика: процесс доказательства теоремы

Универсальный англо-русский словарь > theorem-proving process
3 theorem-proving process

мат.

процесс доказательства теоремы

English-Russian scientific dictionary > theorem-proving process
4 process

1) процесс

2) процедура

3) технологический процесс || технологический

4) приём, способ

5) обрабатывать; перерабатывать

•

process with bounded aftereffect — процесс с ограниченным последействием

process with continuous spectrum — процесс с непрерывным спектром

process with denumerably many states — процесс со счётным множеством состояний

process with discrete spectrum — процесс с дискретным спектром

process with immigration — процесс с иммиграцией

process with independent increments — процесс с независимыми приращениями, аддитивный процесс

process with interactions — процесс с взаимодействиями

process with maximal rank — процесс с памятью

process with nonstationary increments — процесс с нестационарными приращениями, неоднородный во времени процесс

process with orthogonal increments — процесс с ортогональными приращениями

process with recycle — циркуляционный процесс

process with stationary and independent increments — процесс со стационарными и независимыми приращениями, однородный процесс

process with stationary increments — процесс со стационарными приращениями, однородный во времени процесс

process without aftereffect — процесс без последействия

process without memory — процесс без памяти

process without spontaneous changes — процесс без спонтанных изменений

- a priori process

- absolutely random process
- absorbing barrier process
- abstract process

- acid open-hearth process

- additive process

- age-dependent process

- alternating renewal process

- autoregressive process

- auxiliary process

- band-limited process

- basic Bessemer process
- basic oxygen process
- basic process

- basis open-hearth process

- Bessemer process

- binary process

- binomial process

- birth and death process

- birth process

- birth-and-death process

- birth-illness-death process

- bivariate process

- bloomery process

- bracketing process

- branching process

- canonical process

- cascade process

- centered process

- circular process

- circularly correlated process

- clustering process

- collecting process

- computation process

- computational process

- conditioned process

- conservative process

- constructive process

- contagion process

- continuation process

- continuous process

- continuous spinning process

- controlled process

- convergent process

- converter process

- convex process

- countercurrent process

- counter-flow process

- counting process

- Crouse process

- cumulative process

- cupola process

- decay process

- decision process

- decision-making process

- decomposable process

- degenerate process

- denumerable process

- denumerably-valued process

- diagonal process

- difference process

- differential process

- differentiation process

- digital process

- direct ore-reduction process
- direct reduction process
- directing process

- discontinuous process
- discrete process - discrete-time process
- dishonest process

- dissipative process

- distributed-parameter process

- disturbed harmonic process

- divergent process

- drawn-gate CMOS process

- dry-press process

- dual process

- dynamic process

- elementary process

- empirical process

- equally correlated process

- equally-correlated process

- equilibrium process

- ergodic process

- evolutionary process

- exhaustive process

- explosive process

- exponential process

- extended process

- extinction process

- feedback process

- feedforward process

- fictitions process

- finite process

- fitting process

- fundamental process

- general process

- generating process

- genetic process

- gradient process

- graph-searching process

- growth process

- half-additive process

- harmonic process

- harmonizable process

- hereditary process

- heterogeneous in time process

- heterogeneous process

- heuristic process

- holomorphic process

- homogeneous process

- imbedded renewal process

- immigration process

- increasing process

- independent increments process

- indirect process

- induced process

- infinetely divisible process

- infinite process

- infinitely decomposable process

- infinitesimal process

- informational process

- inhomogeneous process

- integer-value process

- integrable process

- interpolatory process

- inverse process

- irreversible process

- isentropic process

- isobaric process

- isochoric process

- isonormal process

- isothermal process

- isotropic process

- iterative process

- jointly stationary process

- jump process

- Kroll process

- ladder process

- learning process

- left-continuous process

- linear process

- linearly regular process
- linearly singular process - locally integrable process - locally stable process
- logistic process

- lumped process

- many-state death process

- martingale process

- measurable process

- memoryless process

- metrically transitive process

- minimal process

- mixed process

- mixing process

- modulated process

- Moebius process

- monotonous process

- moving summation process

- moving-average process

- multidimensional process

- multiparameter process

- multiple-chain process

- multiple-phase process

- multiplicative process

- multistage process
- multistep process - multivariate process - N-dimensional process
- near-equilibrium process

- neutral process

- noise process

- nondeterministic process

- nondissipative process

- nonequilibrium process

- nonhereditary process

- nonhomogeneous process

- nonnormalized process

- nonpreemptive process

- nonstationary process

- nonsteady process

- numerical process

- observation process

- observed process

- one-dimensional process

- one-sided process

- one-state process

- open-hearth process

- optimal process

- optimum process

- Orbach process

- orthogonal process

- orthogonalization process

- oxidizing process

- partially deterministic process
- partially mixing process
- percolation process

- periodic process

- periodically stationary process

- persistent process

- perturbated process

- piecewise-linear process

- pig-and-ore process

- plasma spraying process

- point process

- positively regular process

- predictable process

- probabilistic process

- process of abstraction

- process of exhaustion

- process of finite variation
- process of hidden periodicities
- process of iteration

- process of randomization

- process oil

- product process

- production process

- pseudorandom process

- purely random process

- pursuit process

- quasistable process

- quasistationary process

- random-walk process

- real-valued process

- reciprocal process

- recurrent process

- recursive process

- reduced process

- reducible process

- reduction process

- regenerative process

- regular process

- renewal process

- repeatable process

- repetitive process

- restorative process

- return process

- reverberatory process

- reverse process

- rewriting process

- right-continuous process

- risk process

- rotor process

- sampling process

- search process

- second-order stationary process

- selection process

- separable process

- sequential decision process

- sequential process

- shuffling process

- side-blown converter process

- sieving process

- simple process

- simplex process

- singular process

- slowly branching process

- smoothed process

- smoothing process

- soft-mud process

- space-time process

- spatial process

- spectral process

- stagewise process

- standard process

- statistically stationary process
- steady stochastic process
- steady-state process

- steel-making process

- stencil process

- stepwise process

- stochastic process

- stopped process

- strictly stationary process

- subordinated process

- summation process

- supercritical process

- synergistic process

- temporally continuous process
- temporally homogeneous process
- terminating process

- theorem-proving process

- time-dependent process

- time-homogeneous process

- trajectory process

- transient process

- transport process

- trial-and-error process

- two-dimensional process

- two-sided process

- two-stage process

- two-state process

- umklapp process

- uncontrolled process

- uniform process

- unit process

- unstable process

- unsteady process

- unsteady-state process

- vector process

- vector-valued process

- weakly correlated process
- weakly ergodic process - weakly stationary process
- welding process

- well-measurable process

- wide sense stationary process

- Wohlwill process

- xiphoid process

- zero-one renewal process

English-Russian scientific dictionary > process
5 процесс доказательства теоремы

мат. theorem-proving process

Большой англо-русский и русско-английский словарь > процесс доказательства теоремы

См. также в других словарях:

Automated theorem proving — (ATP) or automated deduction, currently the most well developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Decidability of the problem Depending on the underlying logic, the problem of… … Wikipedia
Software development process — Activities and steps Requirements Specification … Wikipedia
Deduction theorem — In mathematical logic, the deduction theorem is a metatheorem of first order logic.[1] It is a formalization of the common proof technique in which an implication A → B is proved by assuming A and then proving B from this assumption.… … Wikipedia
Prime number theorem — PNT redirects here. For other uses, see PNT (disambiguation). In number theory, the prime number theorem (PNT) describes the asymptotic distribution of the prime numbers. The prime number theorem gives a general description of how the primes are… … Wikipedia
Pentagonal number theorem — In mathematics, the pentagonal number theorem, originally due to Euler, relates the product and series representations of the Euler function. It states that:prod {n=1}^infty (1 x^n)=sum {k= infty}^infty( 1)^kx^{k(3k 1)/2}.In other words, :(1 x)(1 … Wikipedia
König's theorem (graph theory) — In the mathematical area of graph theory, König s theorem describes an equivalence between the maximum matching problem and the minimum vertex cover problem in bipartite graphs. Setting A graph is bipartite if its vertices can be partitioned into … Wikipedia
Clausius theorem — Thermodynamics … Wikipedia
Stallings theorem about ends of groups — In the mathematical subject of group theory, the Stallings theorem about ends of groups states that a finitely generated group G has more than one end if and only if the group G admits a nontrivial decomposition as an amalgamated free product or… … Wikipedia
Condorcet's jury theorem — is a political science theorem about the relative probability of a given group of individuals arriving at a correct decision. The theorem was first expressed by the Marquis de Condorcet in his 1785 work Essay on the Application of Analysis to the … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Discrete mathematics — For the mathematics journal, see Discrete Mathematics (journal). Graphs like this are among the objects studied by discrete mathematics, for their interesting mathematical properties, their usefulness as models of real world problems, and their… … Wikipedia

Словари и энциклопедии на Академике

Перевод: с английского на русский

theorem-proving process

См. также в других словарях:

Поделиться ссылкой на выделенное

Словари и энциклопедии на Академике

Перевод: с английского на русский

theorem-proving process

См. также в других словарях:

Поделиться ссылкой на выделенное

Прямая ссылка: